关键词: 协议一致性测试, 边界网关协议, 最短路径优先协议, 时序说明语言

Abstract:

One of the main Reasons of fault growing is wrong routing configuration that R5 will be resulted from conflicted routing in the Internet routing system, especially between heterogeneous routing protocols. A new approach to modeling heterogeneous routing system and analyzing conflicted routing is proposed. It employs the language of tempora1 ordering specification(LOTOS in short) as description language, and by suitable specifying and developing some constants and operations an algebraic model system is constructed. By deducing the algebraic model the conflicted routing can be found out efficiently. In order to support our viewpoint an experiment is carried out that employs scalable simulation framework (SSFnet in short) to simulate behaviors of the border gateway protocol (BGP4 in short) and the open short path first (OSPF in short）. The experiment result shows the consistency.

Key words: protocol test, border gateway protocol, open short path first, language of temporal ordering specification